『計算機科学のための 圏論の基礎の基礎』
Koga Akihiko
. 計算機科学のための 圏論の基礎の基礎. 2020-03-25
計算機科学のための 圏論の基礎の基礎
圏論のメリット
数学的概念の(要求)仕様が書ける
圏の内部は基本的には見えない
型プログラミング的な感じ？
圏
多項式関手
P37-P39
代数と余代数
P40-P45
単純型付きラムダ計算
P50, P75-P95
単純型付きλ計算とCCCの関係
デカルト閉圏(CCC)
P65-P68
域と余域
ラムダ計算
型付きラムダ計算
スライドにある参考文献
『Category Theory』Steve Awodey
『Category Theory for Computing Science』
『Category Theory in Context』
『Basic Category Theory』
『A Tutorial on (Co)algebras and (Co)induction』
代数と余代数
関連
極限と余極限
#圏論
#集合論
#文献